#include <iostream>
#include <cmath>
#include <algorithm>
#include <cstring>
#include <vector>
#include <map>
#include <queue>
#include <cstdio>
#include <string>
#include <stack>
#include <set>
#define IOS ios::sync_with_stdio(false), cin.tie(0)
using namespace std;
typedef long long ll;
ll a[510],b[510],c[510];
ll sum[260000];
ll L,N,M;
// map<ll,bool> vis;
// set<ll> vis;
ll num[1100];
bool judge(ll num,ll cnt){
    for(ll i=0;i<M;i++){
            ll l=0,r=cnt-1;
            while(r>=l){
                ll mid=(l+r)>>1;
                if(sum[mid]+c[i]==num)return true;
                if(sum[mid]+c[i]<num){
                    l=mid+1;
                }
                else r=mid-1;
        }
    }
    return false;
}

int main()
{
    IOS;
    ll Case=1;
    while(cin>>L>>N>>M){
        // vis.clear();
        for(ll i=0;i<L;i++){
            cin>>a[i];
        }
        for(ll i=0;i<N;i++){
            cin>>b[i];
        }
        for(ll i=0;i<M;i++){
            cin>>c[i];
        }
        ll s;
        cin>>s;
        for(ll i=0;i<s;i++){
            cin>>num[i];
        }
        // sort(a,a+L);
        // sort(b,b+N);
        ll cnt=0;
        // sort(c,c+M);
        for(ll i=0;i<L;i++){
            // if(a[i]>1000)break;
            for(ll j=0;j<N;j++){
                sum[cnt++]=a[i]+b[j];
                // if(a[i]+b[j]>1000)break;
                // for(ll k=0;k<M;k++){
                //     // if(a[i]+b[j]+c[k]>1000)continue;
                //     ll sum=a[i]+b[j]+c[k];
                //     vis.insert(sum);
                // }
            }
        }
        sort(sum,sum+cnt);
        cout<<"Case "<<Case++<<":"<<endl;
        for(ll i=0;i<s;i++){
            if(judge(num[i],cnt))cout<<"YES"<<endl;
            else cout<<"NO"<<endl;
        }
    }
    getchar();
    getchar();
    return 0;
}
